-
1 определенная формула
Большой англо-русский и русско-английский словарь > определенная формула
-
2 логически определенная формула
Русско-английский научно-технический словарь Масловского > логически определенная формула
-
3 logically
1) логично
2) логически
3) последовательно ∙ logically consistent data ≈ логически непротиворечивые данные logically constructed relation ≈ логически построенное соотношение logically defined class ≈ логически определенный класс logically determinate event ≈ логически определенное событие logically determinate formula ≈ логически определенная формула logically equivalent circuits ≈ логически эквивалентные схемы logically equivalent propositions ≈ логически эквивалентные высказывания logically equivalent statements ≈ логически эквивалентные высказывания logically false expression ≈ логически ложное выражение logically indeterminate event ≈ логически неопределенное событие logically irreducible relation ≈ логически неприводимое соотношение logically necessary hypothesis ≈ логически необходимая гипотеза logically related events ≈ логически связанные события logically true expression ≈ логически истинное выражение logically true sentence ≈ логически истинное предложение logically true statement ≈ логически истинное высказывание logically universal sentence ≈ логически универсальное предложение logically valid formula ≈ логически общезначимая формула logically valid sentence ≈ логически общезначимое предложение - logically absurd - logically complex - logically conclusive - logically consistent - logically contradictory - logically correct - logically defined - logically dependent - logically determinate - logically equivalent - logically exhaustive - logically false - logically imply - logically impossible - logically inconsistent - logically independent - logically indeterminate - logically justifiable - logically necessary - logically true - logically universal - logically valid - multiply logically логично;
логически логически рассуждая - *, one should become wiser with experience but some people never do по логике, нам следовало бы становиться умнее с годами, но некоторым из нас это не удаетсяБольшой англо-русский и русско-английский словарь > logically
-
4 definite formula
Большой англо-русский и русско-английский словарь > definite formula
-
5 logically determinate formula
English-Russian scientific dictionary > logically determinate formula
-
6 logically determinate formula
Англо-русский словарь по исследованиям и ноу-хау > logically determinate formula
-
7 recursively
1) рекурсно
2) рекурсивно
3) рекуррентно ∙ completely recursively enumerable class ≈ вполне рекурсивно перечислимый класс general recursively inequal numbers ≈ общерекурсивно неравные числа general recursively irrational number ≈ общерекурсивно иррациональное число general recursively true ≈ общерекурсивно истинный general recursively true formula ≈ общерекурсивно истинная формула primitive recursively true ≈ примитивно-рекурсивно истинный recursively approximable set ≈ рекурсивно аппроксимируемое множество recursively axiomatizable theor ≈ рекурсивно аксиоматизируемая теория recursively axiomatized theor ≈ рекурсивно аксиоматизированная теория recursively bounded quantifier ≈ рекурсивно ограниченный квантор recursively calculable function ≈ рекурсивно вычислимая функция recursively complex number ≈ рекурсивно комплексное число recursively continuous function ≈ рекурсивно непрерывная функция recursively convergent function ≈ рекурсивно сходящаяся функция recursively convergent sequence ≈ рекурсивно сходящаяся последовательность recursively creative set ≈ рекурсивно креативное множество recursively defined function ≈ рекуррентно определенная функция recursively defined sequence ≈ рекурсивно определенная последовательность recursively differentiable function ≈ рекурсивно дифференцируемая функция recursively divergent function ≈ рекурсивно расходящаяся функция recursively divergent sequence ≈ рекурсивно расходящаяся последовательность recursively enumerable cylinder ≈ рекурсивно перечислимый цилиндр recursively enumerable degree ≈ рекурсивно перечислимая степень recursively enumerable index ≈ рекурсивно перечислимый индекс recursively enumerable ordinal ≈ рекурсивно перечислимое порядковое число recursively enumerable predicate ≈ рекурсивно перечислимый предикат recursively enumerable problem ≈ рекурсивно перечислимая проблема recursively enumerable relation ≈ рекурсивно перечислимое отношение recursively enumerable sequence ≈ рекурсивно перечислимая последовательность recursively enumerable set ≈ рекурсивное перечислимое множество recursively enumerable structure ≈ рекурсивно перечислимая структура recursively enumerable subclass ≈ рекурсивно перечислимый подкласс recursively enumerable subset ≈ рекурсивно перечислимое подмножество recursively enumerable theor ≈ рекурсивно перечислимая теория recursively equivalent sets ≈ рекурсивно эквивалентные множества recursively extensible function ≈ рекурсивно продолжаемая функция recursively incompletable theor ≈ рекурсивно непополнимая теория recursively indecomposable set ≈ рекурсивно неразложимое множество recursively inseparable sets ≈ рекурсивно неотделимые множества recursively invariant concept ≈ рекурсивно инвариантное понятие recursively invariant relation ≈ рекурсивно инвариантное отношение recursively isomorphic set ≈ рекурсивно изоморфное множество recursively presentable structure ≈ рекурсивно представимая структура recursively presented group ≈ рекурсивно определенная группа recursively productive set ≈ рекурсивно продуктивное множество recursively real number ≈ рекурсивно вещественное число recursively related system of notation ≈ рекурсивная по упорядочению система обозначений recursively representable operation ≈ рекурсивно представимая операция recursively representable relation ≈ рекурсивно представимое отношение recursively separable sets ≈ рекурсивно отделимые множества recursively solvable problem ≈ рекурсивно разрешимая проблема recursively undecidable theor ≈ рекурсивно неразрешимая теория recursively unequal numbers ≈ рекурсивно неравные числа - recursively axiomatized - recursively calculable - recursively closed - recursively computable - recursively conditional - recursively continuous - recursively convergent - recursively differentiable - recursively divergent - recursively enumerable - recursively equivalent - recursively expressible - recursively extensible - recursively inseparable - recursively isomorphic - recursively isotonic - recursively presentable - recursively projective - recursively realizable - recursively representable - recursively soluble - recursively true - recursively unsolvable РекурсивноБольшой англо-русский и русско-английский словарь > recursively
-
8 arithmetically
арифметически arithmetically consistent data ≈ арифметически непротиворечивые данные arithmetically definable set ≈ арифметически определимое множество arithmetically defined subgroup ≈ арифметически определенная подгруппа arithmetically equivalent degree ≈ арифметически эквивалентная степень arithmetically expressible sentence ≈ арифметически выразимое высказывание arithmetically extensible function ≈ арифметически продолжаемая функция arithmetically normal variety ≈ арифметически нормальное многообразие arithmetically provable formula ≈ арифметически доказуемая формула arithmetically valid formula ≈ арифметически общезначимая формула completely arithmetically productive set ≈ вполне арифметически продуктивное множество - arithmetically connected - arithmetically definable - arithmetically equivalent - arithmetically extensible - arithmetically provable - arithmetically validарифметическиБольшой англо-русский и русско-английский словарь > arithmetically
-
9 explicitly
1) особо
2) подробно
3) явно ∙ define function explicitly ≈ задавать функцию явно explicitly bounded function ≈ явно ограниченная функция explicitly definable formula ≈ явно определимая формула explicitly definable function ≈ явно определенная функция explicitly definable relation ≈ явно определимое отношение explicitly definable set ≈ явно определимое множество - define explicitly - explicitly bounded - explicitly calculable - explicitly definable - explicitly quasiconcave - explicitly solvable ясно, точно;
открыто, недвусмысленно, без обиняков - it was * stated that... было сделано ясное заявление, что... эксплицитноБольшой англо-русский и русско-английский словарь > explicitly
-
10 разность уровней скорости
3.6 разность уровней скорости (velocity level difference) Dv,ij, дБ: Разность уровней средней скорости элементов i и j конструкции, если возбуждению (воздушному или структурному) подвергается лишь элемент i, выражаемая формулой
Dv,ij = Lv,i - Lv,j. (8)
Примечание 1 - При нестационарном структурном возбуждении нормальная скорость обоих элементов должна измеряться одновременно и разность уровней скорости может быть рассчитана по формуле
(9)где М - число точек возбуждения элемента i;
N - число положений преобразователей (датчиков) на каждом элементе для каждой точки возбуждения;
(Dv,ij)mn- разность уровней скорости для одной точки возбуждения и одной пары преобразователей, дБ, определенная по формуле
(10)где viи vj- нормальные скорости в точках n и m элементов i и j соответственно, м/с;
Тт - интервал интегрирования.
Примечание 2 - Для практических целей формула (8) предпочтительнее формулы (9).
Источник: ГОСТ Р ИСО 10848-1-2012: Акустика. Лабораторные измерения косвенной передачи воздушного и ударного шума между смежными помещениями. Часть 1. Основные положения оригинал документа
Русско-английский словарь нормативно-технической терминологии > разность уровней скорости
-
11 velocity level difference
3.6 разность уровней скорости (velocity level difference) Dv,ij, дБ: Разность уровней средней скорости элементов i и j конструкции, если возбуждению (воздушному или структурному) подвергается лишь элемент i, выражаемая формулой
Dv,ij = Lv,i - Lv,j. (8)
Примечание 1 - При нестационарном структурном возбуждении нормальная скорость обоих элементов должна измеряться одновременно и разность уровней скорости может быть рассчитана по формуле
(9)где М - число точек возбуждения элемента i;
N - число положений преобразователей (датчиков) на каждом элементе для каждой точки возбуждения;
(Dv,ij)mn- разность уровней скорости для одной точки возбуждения и одной пары преобразователей, дБ, определенная по формуле
(10)где viи vj- нормальные скорости в точках n и m элементов i и j соответственно, м/с;
Тт - интервал интегрирования.
Примечание 2 - Для практических целей формула (8) предпочтительнее формулы (9).
Источник: ГОСТ Р ИСО 10848-1-2012: Акустика. Лабораторные измерения косвенной передачи воздушного и ударного шума между смежными помещениями. Часть 1. Основные положения оригинал документа
Англо-русский словарь нормативно-технической терминологии > velocity level difference
См. также в других словарях:
Формула включений-исключений — (или принцип включений исключений) комбинаторная формула, позволяющая определить мощность объединения конечного числа конечных множеств, которые в общем случае могут пересекаться друг с другом … Википедия
ИТО ФОРМУЛА — формула, по к рой вычисляется стохастический дифференциал функции от Ито процесса. Пусть (неслучайная) функция f(t, x), определенная при действительных tи х, дважды непрерывно дифференцируема по х, один раз непрерывно дифференцируема по tи пусть… … Математическая энциклопедия
ПУАНКАРЕ - БЕРТРАНА ФОРМУЛА — формула перестановки порядка интегрирования в повторных несобственных интегралах в смысле главного значения по Коши. Пусть Г простая замкнутая или разомкнутая гладкая линия на комплексной плоскости; j(t, t1).определенная на Г (вообще говоря,… … Математическая энциклопедия
Скелетная формула органических соединений — Эту страницу предлагается объединить с Углеродный скелет. Пояснение причин и обсуждение на странице Википедия:К объединению/3 декабря 2012. Обсуждение длится … Википедия
Ван дер Ваальса формула — В. формула, одинаково прилагаемая и к газообразному и к жидкому состоянию какого либо вещества, выражает зависимость между объемом, температурой и давлением, под которым находится рассматриваемое вещество, при посредстве лишь двух постоянных для… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
дхарм "обусловленных" двенадцатичленная формула взаимодействия — Кит. эквивалент санскр. термина двадашанга пратитьясамутпада , двенадцатичленной формулы взаимодействия обусловленных дхарм (фа (1), п. 2) применительно к описанию жизни сознательного существа. Члены формулы связаны между собой отношениями… … Китайская философия. Энциклопедический словарь.
САМОВНУШЕНИЕ — С., или аутосуггестия, это процесс внушения, адресованный самому себе. С. позволяет субъекту вызывать у себя те или иные ощущения, восприятия, управлять процессами внимания, памяти, эмоциональными и соматическими реакциями.… … Психотерапевтическая энциклопедия
СЕРДЦЕ — СЕРДЦЕ. Содержание: I. Сравнительная анатомия........... 162 II. Анатомия и гистология........... 167 III. Сравнительная физиология.......... 183 IV. Физиология................... 188 V. Патофизиология................ 207 VІ. Физиология, пат.… … Большая медицинская энциклопедия
Корреляция — (Correlation) Корреляция это статистическая взаимосвязь двух или нескольких случайных величин Понятие корреляции, виды корреляции, коэффициент корреляции, корреляционный анализ, корреляция цен, корреляция валютных пар на Форекс Содержание… … Энциклопедия инвестора
МЕРА — множества, обобщение понятия длины отрезка, площади фигуры, объема тела, интуитивно соответствующее массе множества при нек ром распределении массы по пространству. Понятие М. множества возникло в теории функций действительного переменного в… … Математическая энциклопедия
МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И … Философская энциклопедия
